Blar i HVL Open på forfatter "Verdier, Olivier"
-
A numerical study of nonlinear dispersive wave models with spectravvave
Kalisch, Henrik; Moldabayev, Daulet; Verdier, Olivier (Peer reviewed; Journal article, 2017) -
Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
Pun, Ka I; Stolz, Volker; Fazeldehkordi, Elahe; Owe, Olaf; Ramezanifarkhani, Toktam; Damasceno, Carlos Diego Nascimento; Damasceno, Carlos Diego Nascimento; Ahishakiye, Faustin; Kristensen, Lars Michael; Tabar, Asmae Heydari; Bubel, Richard; Hähnle, Reiner; Sagemüller, Justus; Verdier, Olivier (HVL-rapport;14/2020, Report, 2020)Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19), which was held on 3 December, 2019 at Western Norway ... -
What makes nonholonomic integrators work?
Modin, Klas; Verdier, Olivier (Peer reviewed; Journal article, 2020)A nonholonomic system is a mechanical system with velocity constraints not originating from position constraints; rolling without slipping is the typical example. A nonholonomic integrator is a numerical method specifically ...